TURBO PASCAi.: PROCEDURES AND FUNCTIONS Abs (Num) : real or integer; ........... Returns the absolute value of a number. Addr (Var) : pointer; ..................... Returns the address of a variable. Append (FilVar); ...

Source URL: dl.dropboxusercontent.com

• Computing
• Software engineering
• Computer programming
• Data types
• Object-oriented programming languages
• Type theory
• Pointer
• Scala
• Lookup table
• Pascal
• More
• Variable

JPure: A Modular Purity System for Java David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Email:

Source URL: homepages.ecs.vuw.ac.nz

• Type theory
• Data types
• Object-oriented programming languages
• Object
• Program analysis
• Type system
• Iterator
• Const
• Method
• Objective-C
• Type signature
• Covariance and contravariance

Sound and Complete Flow Typing with Unions, Intersections and Negations David J. Pearce Victoria University of Wellington Wellington, New Zealand {djp}@ecs.vuw.ac.nz

Source URL: homepages.ecs.vuw.ac.nz

• Type theory
• Data types
• Functional languages
• Object-oriented programming
• Type systems
• Subtyping
• Whiley
• OCaml
• ALGOL 68
• Type conversion
• Const
• ML

A core data and behaviour language for E-LOTOS Alan Jeffrey Based on discussions at the COST 247 short term scientific mission attended by Hubert Garavel,. Guy Leduc, Charles Pecheur, Ricardo Pe˜na and Mihaela Sighirean

Source URL: ect.bell-labs.com

• Software engineering
• Computing
• Computer programming
• Data types
• Type theory
• C++
• Procedural programming languages
• ALGOL 68
• Type system
• C++ classes
• Subtyping
• Const

NOTES ON TYPES AND PROGRAMMING LANGUAGES NEAL PARIKH Abstract. This document aims to serve as a brief outline and concise reference for Types and Programming Languages by B. Pierce. The sections roughly correspond to the

Source URL: www.nparikh.org

R and the World: Interfaces between Languages

Source URL: www-conf.slac.stanford.edu

• Object-oriented programming
• Procedural programming languages
• Cross-platform software
• Data types
• Fortran
• SQL
• Interface
• R
• C
• Computing
• Software engineering
• Computer programming

ESV4Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language

Source URL: www.etsi.org

• Data types
• C++
• Type theory
• Computer languages
• Procedural programming languages
• TTCN-3
• TTCN
• Type system
• Subtype polymorphism
• Software engineering
• Computing
• Computer programming

Hasochism The Pleasure and Pain of Dependently Typed Haskell Programming Sam Lindley Conor McBride

Source URL: homepages.inf.ed.ac.uk

• Functional languages
• Type theory
• Procedural programming languages
• Functional programming
• Data types
• Agda
• Standard ML
• Type class
• Map
• Software engineering
• Computing
• Computer programming

OpenGL 4.2 API Reference Card Page 1 OpenGL® is the only cross-platform graphics API that enables developers of software for PC, workstation, and supercomputing hardware to create high-performance,

Source URL: www.khronos.org

• Data types
• Type theory
• Procedural programming languages
• Enumerated type
• C
• Void type
• ALGOL 68
• Telephone number mapping
• Bit field
• Computing
• Programming language theory
• Software engineering

BIL220, Spring 2012 Data Lab: Manipulating Bits Assigned: Feb. 23, Due: Wed., Mar. 8, 23:59PM Ali Caglayan () and Oguzhan Guclu () are the leads for this ass

Source URL: web.cs.hacettepe.edu.tr

• Computer arithmetic
• Data types
• Procedural programming languages
• Primitive types
• C++
• C++ classes
• C
• ALGOL 68
• Printf format string
• Computing
• Computer programming
• Software engineering